Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Gate logging in the C API on Cargo features #7300

Merged

Conversation

alexcrichton
Copy link
Member

Help to excise more dependencies when building the C API.

Help to excise more dependencies when building the C API.
@alexcrichton alexcrichton requested review from a team as code owners October 19, 2023 22:40
@alexcrichton alexcrichton requested review from pchickey and removed request for a team October 19, 2023 22:40
@github-actions github-actions bot added the wasmtime:c-api Issues pertaining to the C API. label Oct 19, 2023
@github-actions
Copy link

Subscribe to Label Action

cc @peterhuene

This issue or pull request has been labeled: "wasmtime:c-api"

Thus the following users have been cc'd because of the following labels:

  • peterhuene: wasmtime:c-api

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.

@alexcrichton alexcrichton added this pull request to the merge queue Oct 19, 2023
Merged via the queue into bytecodealliance:main with commit 78e098d Oct 20, 2023
18 checks passed
@alexcrichton alexcrichton deleted the gate-c-api-features branch October 20, 2023 00:04
alexcrichton added a commit to alexcrichton/wasmtime that referenced this pull request Oct 20, 2023
This was mistakenly removed during bytecodealliance#7300 with some local testing I was
doing. This will eventually be required to get a minimal build of the C
API but for now I didn't intend on deleting this so I wanted to rectify
my mistake.
github-merge-queue bot pushed a commit that referenced this pull request Oct 23, 2023
This was mistakenly removed during #7300 with some local testing I was
doing. This will eventually be required to get a minimal build of the C
API but for now I didn't intend on deleting this so I wanted to rectify
my mistake.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
wasmtime:c-api Issues pertaining to the C API.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants